Nonmonotonic Reasoning
نویسندگان
چکیده
منابع مشابه
Nonmonotonic Reasoning
In this talk I will give an overview of nonmonotonic reasoning as background, and then address the question of its relevance and importance for theoretical issues in reasoning about knowledge and belief. In the past few years the area. of nonmonotonic reasoning has grown tremendously, as witnessed by the increase in submitted and accepted papers to conferences such as this one. It would be impo...
متن کاملNonmonotonic Reasoning
The purpose of this paper is to expand the syntax and semantics of logic programs and deductive databases to allow for the correct representation of incomplete information in the presence of multiple extensions. The language of logic programs with classical negation, epistemic disjunction, and negation by failure is further expanded by a new modal operator K (where for the set of rules T and fo...
متن کاملNonmonotonic Reasoning
Commonsense reasoning is different. We often draw plausible conclusions based on the assumption that the world in which we function and about which we reason is normal and as expected. This is far from being irrational. To the contrary, it is the best we can do in situations in which we have only incomplete information. However, as unexpected as it may be, it can happen that our normality assum...
متن کاملNonmonotonic Reasoning
Classical logic is the study of " safe " formal reasoning. Western Philosophers developed classical logic over a period of thirty-three centuries after its introduction in the form of syllogistic by Aristotle [1] in the third century B. C. Beginning in the nineteenth century with De Morgan [2] and Boole [3], responsibility for the development of classical logic moved from the philosophical to t...
متن کاملNonmonotonic Reasoning in Ldl ++
Deductive database systems have made major advances on eecient support for nonmonotonic reasoning. A rst generation of deductive database systems supported the notion of stratiication for programs with negation and set aggregates. Stratiication is simple to understand and eecient to implement but it is too restrictive; therefore, a second generation of systems seeks eecient support for more pow...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Japan Society for Fuzzy Theory and Systems
سال: 1992
ISSN: 0915-647X,2432-9932
DOI: 10.3156/jfuzzy.4.4_608